package symbolrt.synthesis;

import symbolrt.base.TIOSTS;
import symbolrt.manager.DataManager;

public class AlarmSystemTest extends GenericTest {

	@Override
	protected TIOSTS setupProcessedModel() {
		String[] args = { "./examples/AlarmSystem.str", "BurglarAlarmSystem",
				"TP1" };
		DataManager.start(args);
		return SynthesisUnit.getProcessedSpec();
	}

	@Override
	protected TIOSTS setupModel() {
		return UtilTest.createAlarmSPEC();
	}

}
